(l, 0)-Carter Partitions and their crystal theoretic interpretation

In this paper we give an alternate combinatorial description of the “(l, 0)-Carter partitions”. Our main theorem is the equivalence of our combinatoric and the one introduced by James and Mathas (A q-analogue of the Jantzen-Schaper theorem). The condition of being an (l, 0)-Carter partition is fundamentally related to the hook lengths of the partition. The representation-theoretic significance of their combinatoric on an l-regular partition is that it indicates the irreducibility of the corresponding Specht module over the finite Hecke algebra. We use our result to find a generating series which counts the number of such partitions, with respect to the statistic of a partition’s first part. We then apply our description of these partitions to the crystal graph B(Λ0) of the basic representation of c sll, whose nodes are labeled by l-regular partitions. Here we give a fairly simple crystal-theoretic rule which generates all (l, 0)-Carter partitions in the graph of B(Λ0). Résumé. Dans cet article, nous donnons une description combinatoire alternative des partitions (l, 0)-Carter. Notre théorème principal est une équivalence entre notre combinatoire et celle introduite par James et Mathas (A q-analogue of the Jantzen-Schaper theorem). La propriété (l, 0)-Carter est fondamentalement liée aux longueurs des équerres de la partition. En terme de théorie des représentations, leur combinatoire pour une partition l-réguliére permet de déterminer l’irréducibilité du module de Specht spécialisé sur l’algèbre de Hecke finie. Nous utilisons notre résultat pour déterminer leur série génératrice en fonction de la taille de la première part. Nous utilisons ensuite notre description de ces partitions au graphe cristallin B(Λ0) de la représentation basique de c sll, dont les noeuds sont étiquetés par les partitions l-régulières. Nous donnons un règle cristalline relativement simple permettant d’engendrer toutes les partitions l-régulières (l, 0)-Carter dans le graphe de B(Λ0).